Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Using standard typing algorithms incrementally
2019-01-01 Busi, M.; Degano, P.; Galletta, L.
UTOPIC: Under-approximation through optimal control
2019-01-01 Doncel, J.; Gast, N.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
2021-01-01 Degano, P.; Galletta, L.; Gerali, S.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Using standard typing algorithms incrementally | 1-gen-2019 | Busi, M.; Degano, P.; Galletta, L. | |
UTOPIC: Under-approximation through optimal control | 1-gen-2019 | Doncel, J.; Gast, N.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty | 1-gen-2021 | Degano, P.; Galletta, L.; Gerali, S. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile